Linear Hybrid Action Systems

Action Systems is a predicate transformer based formalism for the develop ment of reactive and distributed systems Recently Action Systems were extended with a new action called the di erential action It models con tinuous behaviour Action Systems with di erential actions are used for modelling hybrid systems In this paper we investigate what kind of hybrid systems are conve niently captured by Action Systems For this purpose we present a tran sition system semantics for Action Systems We also study how a class of Action Systems called Linear Hybrid Action Systems is related to another formalism linear hybrid automata As the main result we show that Linear Hybrid Action Systems is a subclass of linear hybrid automata